<?php


require_once($WSC->get_site_inc_dir().'modules/registry_db/registry_db.class.php');
require_once($WSC->get_site_inc_dir().'modules/registry_db/registry_key_db.class.php');
require_once('tcms_registry_keys.class.php');


class TCMS_Registry_DB extends Registry_DB {

}